PyDigger - unearthing stuff about Python


NameVersionSummarydate
pylean 0.0.1a0 Pure Python interaction with Lean 4 theorem prover 2025-08-05 08:45:45
hourdayweektotal
38132410551309139
Elapsed time: 4.04153s